prenex normal form - Espagnol Anglais Dictionnaire